Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
141	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
142	Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:42 Electronic engineering Electronic design automation Design Formal methods Electronics Electronic design Formal equivalence checking Formal verification High-level synthesis Integrated circuit design Register-transfer level Invariant
143	Proceedings of theAutomated Software Engineering Workshop on Software Certificate Management (SoftCeMent’05) Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cryptography Software quality Key management Public key infrastructure Public-key cryptography Formal methods Public key certificate Certificate authority Professional certification Reliability engineering Software verification and validation Software assurance
144	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D29 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:26:15 Software engineering Computing Engineering Formal methods Safety Software quality Control engineering Fault tolerance Rodin tool Life-critical system Dependability Control theory
145	Microsoft Word - O-MaSEMALLOW_LNCSFormat_Final.doc Add to Reading List Source URL: www.pa.icar.cnr.it Language: English - Date: 2011-10-25 11:02:37 Software engineering Scientific modeling Computing Systems science Process management Software development process Formal methods Object Process Methodology Business process modeling Agent-based model Requirement Metamodeling
146	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing
147	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
148	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
149	Modern model-based development approach for embedded systems Practical Experience Sergey Vinogradov Artem Ozhigin Corporate Technology, Research and Technology Center Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Systems engineering Project management Formal methods Unified Modeling Language Modeling language Domain-specific language Software development Model-driven engineering Computer programming Requirement
150	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion